Шехтман В. Б. - Введение В Математическую Логику И Теорию Алгоритмов - Преобразование Формул